Arjun Radhakrishna: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2017 2nd IEEE International Conference on Recent Trends in Electronics, Information & Communication Technology (RTEICT) - Bangalore, India (2017.5.19-2017.5.20)] 2017 2nd IEEE International Conference on Recent Trends in Electronics, Information & Communication Technology (RTEICT) - Solar powered portable food warmer and cooler based on peltier effect

Attavane, Pavan, Arjun, G B, Radhakrishna, Rajath, Jadav, Santhosh Rao

Year:

2017

Language:

english

File:

PDF, 356 KB

english, 2017

2

Simulation distances

Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 489 KB

english, 2012

3

[ACM Press the tenth ACM international conference - Tampere, Finland (2012.10.07-2012.10.12)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 - Synthesis from incompatible specifications

Černý, Pavol, Gopi, Sivakanth, Henzinger, Thomas A., Radhakrishna, Arjun, Totla, Nishant

Year:

2012

Language:

english

File:

PDF, 638 KB

english, 2012

4

Interface simulation distances

Černý, Pavol, Chmelík, Martin, Henzinger, Thomas A., Radhakrishna, Arjun

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 572 KB

english, 2014

5

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Battery transition systems

Boker, Udi, Henzinger, Thomas A., Radhakrishna, Arjun

Year:

2014

Language:

english

File:

PDF, 704 KB

english, 2014

6

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Succinct Representation of Concurrent Trace Sets

Gupta, Ashutosh, Henzinger, Thomas A., Radhakrishna, Arjun, Samanta, Roopsha, Tarrach, Thorsten

Year:

2015

Language:

english

File:

PDF, 939 KB

english, 2015

7

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Quantitative abstraction refinement

Cerny, Pavol, Henzinger, Thomas A., Radhakrishna, Arjun

Year:

2013

Language:

english

File:

PDF, 763 KB

english, 2013

8

Succinct Representation of Concurrent Trace Sets

Gupta, Ashutosh, Henzinger, Thomas A., Radhakrishna, Arjun, Samanta, Roopsha, Tarrach, Thorsten

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 939 KB

english, 2015

9

Quantitative abstraction refinement

Cerny, Pavol, Henzinger, Thomas A., Radhakrishna, Arjun

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 763 KB

english, 2013

10

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - D roid S tar

Radhakrishna, Arjun, Lewchenko, Nicholas V., Meier, Shawn, Mover, Sergio, Sripada, Krishna Chaitanya, Zufferey, Damien, Chang, Bor-Yuh Evan, Černý, Pavol

Year:

2018

Language:

english

File:

PDF, 213 KB

english, 2018

11

Sequential programming for replicated data stores

Lewchenko, Nicholas V., Radhakrishna, Arjun, Gaonkar, Akash, Černý, Pavol

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 494 KB

english, 2019